Open Effects

نویسندگان

  • Yuheng Long
  • Hridesh Rajan
چکیده

This is the Technical Report version of the 2013 POPL submission by the same title. It includes the POPL version verbatim, followed by an appendix containing omitted contents and proofs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Effects of Inhalation of Lavender Essential Oil on Open-heart Surgery Pain

This study evaluated the effects of inhalation of Lavender essential oil on the pain of open-heart surgery. The main complaint of patients after open-heart surgery is chest pain. Due to the side effects of opioids, it is important to use a non-invasive way to effectively relieve pain including aromatherapy with analgesics. This study is a clinical single-blind trial. The study was conducted on ...

متن کامل

Investigation of Solvent Effects on Interaction of Single-Strand DNA with Open-End of Single Walled Carbon Nanotubes Using QM and MM methods

The interaction of biomolecules with carbon nanotubes (CNTs) has generated a great deal ofinterest in the past few years. The interaction between B-form single-strand DNA (ssDNA) andsingle-walled carbon nanotubes (SWCNTs) is a subject of intense current interest; however thereare a relatively small number of papers in the literature dealing with interaction of DNA andSWCNTs. In this work we inv...

متن کامل

Effects of Inhalation of Lavender Essential Oil on Open-heart Surgery Pain

This study evaluated the effects of inhalation of Lavender essential oil on the pain of open-heart surgery. The main complaint of patients after open-heart surgery is chest pain. Due to the side effects of opioids, it is important to use a non-invasive way to effectively relieve pain including aromatherapy with analgesics. This study is a clinical single-blind trial. The study was conducted on ...

متن کامل

Shape Effects and Definition of Hydraulic Radius in Manning 's Equation in Open Channel Flow

In the Manning equation the hydraulic radius can be defined as the cross-section dimension of the shape. In pipe flow the bed shear stress is assumed to be uniformly distributed along the wetted perimeter which cannot be true in open channel flow. Hence, three approximation of the true boundary shear-stress distribution are examined and more practical conveyance depth or resistance radius formu...

متن کامل

Pharmacological Effects of Origanum Vulgare L. in the Elevated Plus-Maze and Open Field Tests in the Rat

Background and Objective: The medicinal plant Origanum vulgare. subsp. vulgare in the Lamiaceae family has been widely used by Iranian people for the treatment of respiratory, gastrointestinal and neurologic disorders. The present study was carried out to evaluate possible anxiolytic effects of aqueous extract of O. vulgare leaves and the flowering branches in rats.Materials and Methods: Anxiol...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014